21. Descriptional complexity of formal systems :
پدیدآورنده : edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
22. Developments in Language Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Computers. ; Artificial intelligence. ; Logics and Meanings of Programs. ; -Computer logic. ; Natural language processing (Computer science). ; Computer science
23. Developments in Language Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
24. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
25. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
26. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
پدیدآورنده : by Larisa Angstenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.
27. Dynamic Worlds
پدیدآورنده : edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
28. Embedded systems technology :
پدیدآورنده : Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
رده :
TK7895
.
E42
29. Epistemic logic for AI and computer science
پدیدآورنده : Meyer, John-Jules Ch.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995
30. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
31. Frontiers in Belief Revision
پدیدآورنده : edited by Mary-Anne Williams, Hans Rott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
32. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
33. Fuzzy Hardware
پدیدآورنده : edited by Abraham Kandel, Gideon Langholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.
34. Fuzzy Relational Systems
پدیدآورنده : by Radim Bělohlávek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
35. Fuzzy Sets in Approximate Reasoning and Information Systems
پدیدآورنده : edited by James C. Bezdek, Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
36. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
37. Fuzzy-neuro approach to agent applications: from the AI perspective to modern ontology
پدیدآورنده : Lee, Raymond S. T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Intelligent agents )Computer software(,، Neural networks )Computer science(,، Fuzzy logic,، Artificial intelligence
رده :
QA
76
.
76
.
I58
L446
38. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
39. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده : edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
40. Implementation and Application of Automata :
پدیدآورنده : edited by Michal Hospodâar, Galina Jirâaskovâa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer network architectures.,Logic design.,Software engineering.,Logic design.,Machine theory.,Robotics.,Software engineering.
رده :
QA76
.
9
.
L63